841. Parallel and distributed logic programming: towards the design of a framework for the next generation database machines
Author: Bhattacharya, Alakananda
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Parallel programming )Computer science(,Distributed processing ، Electronic data processing,، Logic programming,، Petri nets
Classification :
QA
76
.
642
.
B484
842. Parallel logic programming
Author: / Akikazu Takeuchi
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Parallel programming (Computer science),Logic programming
Classification :
QA76
.
642
.
T35
1992
843. Parallel logic programming
Author: / Akikazu Takeuchi
Library: Library of College of Science University of Tehran (Tehran)
Subject: Parallel programming (Computer science),Logic programming
Classification :
QA
76
.
642
.
T35
1992
844. Parallel logic programming in PARLOG : the language and its implementation
Author: Gregory, Steve.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، PARLOG )Computer program language(,، Logic programming,، Parallel programming )Computer science(
Classification :
QA
76
.
73
.
P194G74
1987
845. Parallel logic programming in parlog : the language & its implementation
Author: Gregory, Steve
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: PARLOG )Computer program language( , Logic programming , Parallel programming )Computer science(
Classification :
QA
76
.
73
.
P194
G74
846. Patterns in Network Architecture: A Return to Fundamentals
Author: John Day
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Computer Books: General, Computer Communications & Networking, Computer Architecture, Data Transmission Standards And Protocols, Computer architecture & logic design, Data capture & analysis, Networking standards & protocols
847. Perspectives of System Informatics :
Author: edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
848. Perspectives of Systems Informatics
Author: edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer software,Computer vision,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
849. Petri Nets :
Author: by Wolfgang Reisig.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Logic design.
Classification :
QA267
.
B996
1985
850. Philosophical Logic and Artificial Intelligence
Author: edited by Richmond H. Thomason.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy (General)
Classification :
BC71
.
E358
1989
851. Philosophical and mathematical logic /
Author: Harrie de Swart.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Computer science.,Genetic epistemology.,Logic, Symbolic and mathematical.
Classification :
BC131
852. Philosophy and Cognitive Science:
Author: edited by Andy Clark, Jesús Ezquerro, Jesús M. Larrazabal.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Genetic epistemology.,Logic.
Classification :
B808
.
9
E358
1996
853. Physics with MAPLE :the computer algebra resource for mathematical
Author: Tanenbaum, Andrew S
Library: Central Library and Documentation Center (Semnan)
Subject: ، Operating systems )Computers(,، MINIX,، Mathematical physics Data processing,، Algebraic logic Data processing,، Maple )Computer file(
Classification :
QA
76
.
76O63
T36
2006
854. Practical Applications of Computational Intelligence Techniques
Author: edited by Lakhmi Jain, Philippe Wilde.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
855. Principles and Practice of Constraint Programming
Author: \ Gilles Pesant (ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Constraint programming (Computer science) -- Congresses,Mathematical Logic and Formal Languages.,برنامه نویسی قیدی (کامپیوتر) -- کنگره ها,منطق ریاضی و زبان های صوری
Classification :
QA
76
.
612
.
C7P7
2015
E-Book
,
856. Principles and Practice of Constraint Programming :
Author: edited by Christian Schulte.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
857. Principles and Practice of Constraint Programming -- CP '95 :
Author: edited by Ugo Montanari, Francesca Rossi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information storage and retrieval systems.,Logic design.
858. Principles and structures of FPGAs /
Author: Hideharu Amano, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Field programmable gate arrays.,Circuits & components.,Computer architecture & logic design.,Electronics engineering.,Field programmable gate arrays.,TECHNOLOGY & ENGINEERING-- Mechanical.
Classification :
TK7895
.
G36
P75
2018
859. Principles of digital design
Author: Gajski, Daniel D.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Design Data processing ، Integrated circuits,Data processing ، Logic design,، Computer-aided design
Classification :
TK
7874
.
G34
860. Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs
Classification :
QA
75
.
5
.
S9574a
